How to Install gringo software package in Ubuntu 17.04 (Zesty Zapus)

How to Install gringo software package in Ubuntu 17.04 (Zesty Zapus)

gringo software package provides grounding tools for (disjunctive) logic programs, you can install in your Ubuntu 17.04 (Zesty Zapus) by running the commands given below on the terminal,

$ sudo apt-get update
$ sudo apt-get install gringo

gringo is installed in your system.

Make ensure the gringo package were installed using the commands given below,

$ sudo dpkg-query -l | grep gringo *

You will get with gringo package name, version, architecture and description in a table

gringo package basic information:

Distro Ubuntu 17 04 zesty zapus
Section Interpreters
Package gringo
Version 4.5.4-3
Description grounding tools for (disjunctive) logic programs
Sub Section Interpreters


See Also, How to uninstall or remove gringo software package from Ubuntu 17.04 (Zesty Zapus)?


Search
10 Types of TOP Command on Linux / Unix with ExamplesHow to Install and Testing MQTT Using MQTT-Malaria on UbuntuResolved: Got permission denied while trying to connect to the Docker daemon socket in DockerHow to fix: destination path already exists error while trying to clone the git repo in Ansible?How to fix :net/http: request canceled while waiting for connection error in Terraform?How to resolve "WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!" while SSH connection?What will do while getting : GCP googleapi Error 400: Unparseable iamMember in Terraform
AWStats : Configure add Multiple Domains and Password ProtectHow do you set Statistics Schedule for Cpanel log in WHM?Root User login by shell Scripts/bin/sh^M bad interpreter in Linux, How to solved it? cPanel Can not Login it Says, IP Has ChangedHow to Change User Login Key Pair for EC2 InstanceHow to Install HAProxy-1.6-stable version on Ubuntu Yakkety-16.10 LTSHow to modify existing unpushed commit messages?How do I Delete EBS volume when termination EC2 instance in terraform?